perm filename PRO.AIR[AP,DBL] blob
sn#116158 filedate 1974-08-21 generic text, type T, neo UTF8
LISP
INTERLISP-10 13-AUG-74 ...
Good evening, Doug.
←MINFS(70000)
10000
←RECLAIM)
GC: 8
1600, 70074 FREE WORDS
70074
←MINFS(12000)
70000
←MINFS(6000 12)
1000
←MINFS(12##
RECLAIM(12)
GC: 12
1017, 2037 FREE WORDS
2037
←MINFS(1000 12)
6000
←
MINFS(6000 28)
512
←RECLAIM(28)
GC: 28
2042, 6138 FREE WORDS
6138
←MINFS(512 28)
6000
←
MINFS(5000 30)
512
←RECLAIM(30)
GC: 30
512, 5120 FREE WORDS
5120
←MINFS(512 30)
5000
←STORAGE(T)
TYPE USED ASSIGNED SYSTEM
1 42 1536 34816
2 5120 5120 55296
4 0 512 512
8 513 70656 16384
12 9 6144 13312
16 0 512 512
18 14 1536 1024
24 0 512 1024
28 6 6144 8704
30 -1 5120 2560
SUM 5703 97792 134144
NIL
←LOAD(PUP6)
FILE CREATED 20-AUG-74 23:29:00
(MATCH defined, therefore disabled in CLISP)
PUP6FNS
PUP6VARS
GC: 12
0, 340 FREE WORDS
MINI PUP FILE: USE FAD OR AD OR MAKEFILE FOR NEW VERSION PUP6.;1
←LOAD(AIRF)
FILE CREATED 20-AUG-74 23:43:13
AIRFVARS
AIRF.;6
←STORAGE(T)
TYPE USED ASSIGNED SYSTEM
1 42 1536 34816
2 5120 5120 55296
4 0 512 512
8 49089 70656 16384
12 6120 7168 13312
16 443 1024 512
18 39 2048 1024
24 231 1024 1024
28 5067 6144 8704
30 2419 5120 2560
SUM 68570 100352 134144
NIL
←ENTER(T)
Running at 1465 Load av. = 1.16, USED 0:12:14.6 IN 0:44:39
GC: 8
11316, 12338 FREE WORDS
I CAN GUESS ALL YOUR ANSWERS FOR A WHILE; SHOULD I?
YES
USER INTERRUPT LEVEL... 0
PUP: (PUP WANTS ANY TASK)
USER: (WRITE A PROGRAM WHICH KEEPS TRACK OF AIRLINE RESERVATIONS)
PUP: (PUP IS ABOUT TO WRITE A PROGRAM TO DO (GET:DATA:STRUCTURE AIRLINE:
**RESERVATION:SYSTEM AIRLINE:RESERVATION))
PUP: ((G:D:S:A:R:S:A:R GET:DATA:STRUCTURE:AIRLINE:RESERVATION:SYSTEM:AIR
**LINE:RESERVATION G:D:S:A GDSARSAR GDSA) IS
THE SET OF PLAUSIBLE NAMES OF (GET DATA STRUCTURE AIRLINE RESERVATION SY
**STEM AIRLINE RESERVATION) WHICH IS AN EXPANSION
OF (GET:DATA:STRUCTURE AIRLINE:RESERVATION:SYSTEM AIRLINE:RESERVATION))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (GET:DATA:STRUCTURE AIRLINE:RES
**ERVATION:SYSTEM AIRLINE:RESERVATION))
I DON'T KNOW ANY NAMES FOR (VECTOR GET:DATA:STRUCTURE AIRLINE:RESERVATIO
**N:SYSTEM AIRLINE:RESERVATION), SO YOU'LL HAVE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: AIR
PUP: (PUP AND USER ARE ABLE TO REFER TO (GET:DATA:STRUCTURE AIRLINE:RESE
**RVATION:SYSTEM AIRLINE:RESERVATION) AS TASK:NAME
WHICH IS AIR:1)
PUP: (THE NAME OF THE PROGRAM TO DO (GET:DATA:STRUCTURE AIRLINE:RESERVAT
**ION:SYSTEM AIRLINE:RESERVATION) IS AIR:1)
(COMMENT AIR:1 IS NOT A BEING YET)
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS ONETYPE DECISIO
**N:(SET UP THE SKELEAL GET-DATA-STRUCTURE
STRUCTURE)
WHAT ARE THE PARTS OF A TYPICAL AIRLINE:RESERVATION RECORD?
USER: (DAY LV ARV FLT PASSEN SEAT TO FROM FARE PAID)
GC: 8
11477, 12499 FREE WORDS
I HAVE DECIDED TO KEEP AIRLINE:RESERVATION STRUCTURED USING THE PROPERTY
** LIST
FEATURE OF LISP. FOR THIS REASON, I NEED TO HAVE A NAME FOR EACH
PROPERTY (CORRESPONDING TO EACH SUBPART OF AIRLINE:RESERVATION) :
PUP: ((A:I:D ATOMIC:IDENTIFIER:DAY A:I AID AI) IS THE SET OF PLAUSIBLE N
**AMES OF (ATOMIC IDENTIFIER DAY) WHICH IS AN
EXPANSION OF (ATOMIC IDENTIFIER DAY))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (ATOMIC IDENTIFIER DAY))
I DON'T KNOW ANY NAMES FOR (VECTOR ATOMIC IDENTIFIER DAY), SO YOU'LL HAV
**E TO
TYPE A BRAND NEW NAME IN TO ME.
USER: DAY
PUP: (PUP AND USER ARE ABLE TO REFER TO (ATOMIC IDENTIFIER DAY) AS CNAME
** WHICH IS DAY:2)
PUP: ((A:I:L ATOMIC:IDENTIFIER:LV A:I AIL AI) IS THE SET OF PLAUSIBLE NA
**MES OF (ATOMIC IDENTIFIER LV) WHICH IS AN
EXPANSION OF (ATOMIC IDENTIFIER LV))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (ATOMIC IDENTIFIER LV))
I DON'T KNOW ANY NAMES FOR (VECTOR ATOMIC IDENTIFIER LV), SO YOU'LL HAVE
** TO
TYPE A BRAND NEW NAME IN TO ME.
USER: LV
PUP: (PUP AND USER ARE ABLE TO REFER TO (ATOMIC IDENTIFIER LV) AS CNAME
**WHICH IS LV:3)
PUP: ((A:I:A ATOMIC:IDENTIFIER:ARV A:I AIA AI) IS THE SET OF PLAUSIBLE N
**AMES OF (ATOMIC IDENTIFIER ARV) WHICH IS AN
EXPANSION OF (ATOMIC IDENTIFIER ARV))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (ATOMIC IDENTIFIER ARV))
I DON'T KNOW ANY NAMES FOR (VECTOR ATOMIC IDENTIFIER ARV), SO YOU'LL HAV
**E TO
TYPE A BRAND NEW NAME IN TO ME.
USER: ARV
PUP: (PUP AND USER ARE ABLE TO REFER TO (ATOMIC IDENTIFIER ARV) AS CNAME
** WHICH IS ARV:4)
PUP: ((A:I:F ATOMIC:IDENTIFIER:FLT A:I AIF AI) IS THE SET OF PLAUSIBLE N
**AMES OF (ATOMIC IDENTIFIER FLT) WHICH IS AN
EXPANSION OF (ATOMIC IDENTIFIER FLT))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (ATOMIC IDENTIFIER FLT))
I DON'T KNOW ANY NAMES FOR (VECTOR ATOMIC IDENTIFIER FLT), SO YOU'LL HAV
**E TO
TYPE A BRAND NEW NAME IN TO ME.
USER: FLT
PUP: (PUP AND USER ARE ABLE TO REFER TO (ATOMIC IDENTIFIER FLT) AS CNAME
** WHICH IS FLT:5)
PUP: ((A:I:P ATOMIC:IDENTIFIER:PASSEN A:I AIP AI) IS THE SET OF PLAUSIBL
**E NAMES OF (ATOMIC IDENTIFIER PASSEN) WHICH
IS AN EXPANSION OF (ATOMIC IDENTIFIER PASSEN))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (ATOMIC IDENTIFIER PASSEN))
I DON'T KNOW ANY NAMES FOR (VECTOR ATOMIC IDENTIFIER PASSEN), SO YOU'LL
**HAVE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: PASSEN
PUP: (PUP AND USER ARE ABLE TO REFER TO (ATOMIC IDENTIFIER PASSEN) AS CN
**AME WHICH IS PASSEN:6)
PUP: ((A:I:S ATOMIC:IDENTIFIER:SEAT A:I AIS AI) IS THE SET OF PLAUSIBLE
**NAMES OF (ATOMIC IDENTIFIER SEAT) WHICH IS
AN EXPANSION OF (ATOMIC IDENTIFIER SEAT))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (ATOMIC IDENTIFIER SEAT))
I DON'T KNOW ANY NAMES FOR (VECTOR ATOMIC IDENTIFIER SEAT), SO YOU'LL HA
**VE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: SEAT
PUP: (PUP AND USER ARE ABLE TO REFER TO (ATOMIC IDENTIFIER SEAT) AS CNAM
**E WHICH IS SEAT:7)
PUP: ((A:I:T ATOMIC:IDENTIFIER A:I A AIT AI) IS THE SET OF PLAUSIBLE NAM
**ES OF (ATOMIC IDENTIFIER TO) WHICH IS AN
EXPANSION OF (ATOMIC IDENTIFIER TO))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (ATOMIC IDENTIFIER TO))
I DON'T KNOW ANY NAMES FOR (VECTOR ATOMIC IDENTIFIER TO), SO YOU'LL HAVE
** TO
TYPE A BRAND NEW NAME IN TO ME.
USER: TO
PUP: (PUP AND USER ARE ABLE TO REFER TO (ATOMIC IDENTIFIER TO) AS CNAME
**WHICH IS TO:8)
PUP: ((A:I:F ATOMIC:IDENTIFIER:FROM A:I AIF AI) IS THE SET OF PLAUSIBLE
**NAMES OF (ATOMIC IDENTIFIER FROM) WHICH IS
AN EXPANSION OF (ATOMIC IDENTIFIER FROM))
GC: 8
π20000
11063, 12085 FREE WORDS
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (ATOMIC IDENTIFIER FROM))
I DON'T KNOW ANY NAMES FOR (VECTOR ATOMIC IDENTIFIER FROM), SO YOU'LL HA
**VE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: FROM
PUP: (PUP AND USER ARE ABLE TO REFER TO (ATOMIC IDENTIFIER FROM) AS CNAM
**E WHICH IS FROM:9)
PUP: ((A:I:F ATOMIC:IDENTIFIER:FARE A:I AIF AI) IS THE SET OF PLAUSIBLE
**NAMES OF (ATOMIC IDENTIFIER FARE) WHICH IS
AN EXPANSION OF (ATOMIC IDENTIFIER FARE))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (ATOMIC IDENTIFIER FARE))
I DON'T KNOW ANY NAMES FOR (VECTOR ATOMIC IDENTIFIER FARE), SO YOU'LL HA
**VE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: FARE
PUP: (PUP AND USER ARE ABLE TO REFER TO (ATOMIC IDENTIFIER FARE) AS CNAM
**E WHICH IS FARE:10)
PUP: ((A:I:P ATOMIC:IDENTIFIER:PAID A:I AIP AI) IS THE SET OF PLAUSIBLE
**NAMES OF (ATOMIC IDENTIFIER PAID) WHICH IS
AN EXPANSION OF (ATOMIC IDENTIFIER PAID))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (ATOMIC IDENTIFIER PAID))
I DON'T KNOW ANY NAMES FOR (VECTOR ATOMIC IDENTIFIER PAID), SO YOU'LL HA
**VE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: PAID
PUP: (PUP AND USER ARE ABLE TO REFER TO (ATOMIC IDENTIFIER PAID) AS CNAM
**E WHICH IS PAID:11)
Running at 4642 Load av. = 3.11, USED 0:21:49.8 IN 1:20:00
(TO defined, therefore disabled in CLISP)
(FROM defined, therefore disabled in CLISP)
PUP: SORRY TO BOTHER YOU, BUT I MUST KNOW IF THE FOLLOWING IS A
DATA STRUCTURE: AIRLINE:RESERVATION:SYSTEM. PLEASE ANSWER YES OR N
**O
USER: YES
WARNING: SATISFY IS SHAKING ITS HEAD ABOUT THIS ONE:(VECTOR IS STRUCTURE
** (VECTOR SNAME ENAME))
GC: 8
7975, 12063 FREE WORDS
WARNING: SATISFY IS SHAKING ITS HEAD ABOUT THIS ONE:(VECTOR ENCODABLE SE
**CTION ORIG:FUNC)
PUP IS NOW GOING TO ENCODE THE PIECE
(PROGN (SETQ AIRLINE:RESERVATION:SYSTEM INITIAL:VALUE)
(COMMENT OTHER INITIALIZATION MAY BE DONE HERE)
(REPEATEDLY (TAKE:HOLD:OF REQUEST)
(MAJOR:MODIFY:STRUCTURE REQUEST (QUOTE AIRLINE:RESE
**RVATION:SYSTEM)))
(COMMENT FINALIZATION))
OF THE FUNCTION AIR:1 INTO LISP. FUNCTION NAMES WILL
BE QUERIED IN PREORDER, AS NEEDED.
PUP: ((T:H:O TAKE:HOLD:OF T:H THO TH) IS THE SET OF PLAUSIBLE NAMES OF (
**TAKE HOLD OF) WHICH IS AN EXPANSION OF (
TAKE:HOLD:OF))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (TAKE:HOLD:OF))
I DON'T KNOW ANY NAMES FOR (VECTOR TAKE:HOLD:OF), SO YOU'LL HAVE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: NIL
PUP: (PUP AND USER ARE ABLE TO REFER TO (TAKE:HOLD:OF) AS CNAME WHICH IS
** TAKE:HOLD:OF:12)
PUP: ((M:M:S MAJOR:MODIFY:STRUCTURE M:M MMS MM) IS THE SET OF PLAUSIBLE
**NAMES OF (MAJOR MODIFY STRUCTURE) WHICH IS
AN EXPANSION OF (MAJOR:MODIFY:STRUCTURE))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (MAJOR:MODIFY:STRUCTURE))
I DON'T KNOW ANY NAMES FOR (VECTOR MAJOR:MODIFY:STRUCTURE), SO YOU'LL HA
**VE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: NIL
PUP: (PUP AND USER ARE ABLE TO REFER TO (MAJOR:MODIFY:STRUCTURE) AS CNAM
**E WHICH IS MAJOR:MODIFY:STRUCTURE:13)
PUP NOW DEFINES THIS FUNCTION:
(AIR:1
(LAMBDA (DUMMY:ARGUMENT:3 DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1)
(PROGN (SETQ AIRLINE:RESERVATION:SYSTEM INITIAL:VALUE)
(COMMENT OTHER INITIALIZATION MAY BE DONE HERE)
(PROG NIL
LABEL:1
(TAKE:HOLD:OF:12 REQUEST)
(MAJOR:MODIFY:STRUCTURE:13 REQUEST (QUOTE AIRLINE:RESER
**VATION:SYSTEM))
(GO LABEL:1)
(COMMENT INFINITE LOOP IN THIS PROG))
(COMMENT FINALIZATION))))
IS (AND DUMMY:ARGUMENT:3 (OR (NULL DUMMY:ARGUMENT:2) (LISTP (GETP DUMMY:
**ARGUMENT:2 DATA:STRUCTURE)) (AND (SATISFY (VECTOR IS STRUCTURE DUMMY:A
**RGUMENT:2)) (PUT DUMMY:ARGUMENT:2 DATA:STRUCTURE (APPEND (GETP DUMMY:A
**RGUMENT:2 DATA:STRUCTURE) (TUPLE PARENT (@ DUMMY:ARGUMENT:3))))))) STI
**LL THE PROPER EXPLICIT
ARGS CHECK FOR THE FUNCTION AIR:1?
USER: NO
WHAT IS THE CHECK, THEN? (I SUGGEST 'T')
USER: T
(AIR:1 redefined)
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS ONETYPE DECISIO
**N:(INSERT WARNINGS RELEVANT TO THE GETTING
AND MAINTAINING OF THE DATA STRUCTURE)
WE ARE ADDING THE FOLLOWING WARNING: (97 VECTOR COMMENT WARNING INITIAL:
**VALUE IN AIR:1 UNDEFINED; WILL BE GOTTEN LATER;
PROBABLY NIL SINCE (VECTOR WE KNOW NONE TO BEING WITH; THE LIST STRUCTUR
**E SHOULD GROW WITH TIME))
(COMMENT REQUEST IS NOT A BEING YET)
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS DICHOTOMY DECIS
**ION:((SETQQ QUALIFIER BRAND) (FLOW:PRECEDED
(VECTOR SETQ (@ ARG1) ANY1)) (SETQQ QUALIFIER CORRECT) (PUPRINT (TUPLE T
**HE ASSIGNMENT WHICH SET (@ ARG1) ,NAMELY (@
FLOW:ASSIGNMENT) ,WAS DONE EARLIER; SHOULD A NEW VALUE OF (@ ARG1) BE PR
**EAD IN AT THIS POINT IN THE PROGRAM FLOW?
USER...)) (MEMBER (PREAD) (VECTOR NIL NO N)) T)(ABOVE, ARG1 REFERS TO RE
**QUEST ;ALSO, PLEASE IGNORE THE THIRD 'CHOICE';
IT IS ONLY FOR ME TO LOOK AT)
FLOW:PRECEDED ISNT IN YET.
LOOK AT ARGUMENT AND ANSWER T OR NIL:
(VECTOR SETQ REQUEST ANY1)
(THIS WOULD NORMALLY BE DONE BY SYSTEM, NOT BY USER .... NIL
AHA!!!! I'VE RESOLVED IT MYSELF!!! NO NEED TO INTERACT WITH THE SLOW
USER CHANNEL AFTER ALL!!!
PUP IS NOW GOING TO ENCODE THE PIECE
(PROGN (PUPRINT (COMMENT READY TO ACCEPT BRAND NEW REQUEST))
(SET ARG1 (PREAD))
T)
OF THE FUNCTION TAKE:HOLD:OF:12 INTO LISP. FUNCTION NAMES WILL
BE QUERIED IN PREORDER, AS NEEDED.
GC: 8
12922, 12922 FREE WORDS
PUP NOW DEFINES THIS FUNCTION:
(TAKE:HOLD:OF:12
(NLAMBDA (ARG1 DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1)
(COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS REQUEST)
(PROGN (PUPRINT (COMMENT READY TO ACCEPT BRAND NEW REQUEST))
(SET ARG1 (PREAD))
T)))
(TAKE:HOLD:OF:12 redefined)
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS SUBSETOF DECISI
**ON:(MODIFY:STRUCTURE MODIFY:UNTIL MODIFY:SOME
EXAMINE:STRUCTURE)SINCE THE DECISION IS SUBSET:OF, TYPE ANY ORDERED SUBS
**ET OF:
(A .... MODIFY:STRUCTURE)
(B .... MODIFY:UNTIL)
(C .... MODIFY:SOME)
(D .... EXAMINE:STRUCTURE)
FOR EXAMPLE, (B D) WOULD MEAN THAT THE 2ND AND 4TH ITEMS ARE RELEVANT
SHOULD I DISCUSS RAMIFICATIONS?NO
USER: (A D)
PUP IS NOW GOING TO ENCODE THE PIECE
(PROGN (MODIFY:STRUCTURE ARG1 ARG2)
(EXAMINE:STRUCTURE ARG1 ARG2))
OF THE FUNCTION MAJOR:MODIFY:STRUCTURE:13 INTO LISP. FUNCTION NAMES WI
**LL
BE QUERIED IN PREORDER, AS NEEDED.
PUP: ((M:S MODIFY:STRUCTURE M MS) IS THE SET OF PLAUSIBLE NAMES OF (MODI
**FY STRUCTURE) WHICH IS AN EXPANSION OF (
MODIFY:STRUCTURE))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (MODIFY:STRUCTURE))
I DON'T KNOW ANY NAMES FOR (VECTOR MODIFY:STRUCTURE), SO YOU'LL HAVE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: NIL
PUP: (PUP AND USER ARE ABLE TO REFER TO (MODIFY:STRUCTURE) AS CNAME WHIC
**H IS MODIFY:STRUCTURE:14)
PUP: ((E:S EXAMINE:STRUCTURE E ES) IS THE SET OF PLAUSIBLE NAMES OF (EXA
**MINE STRUCTURE) WHICH IS AN EXPANSION OF (
EXAMINE:STRUCTURE))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (EXAMINE:STRUCTURE))
I DON'T KNOW ANY NAMES FOR (VECTOR EXAMINE:STRUCTURE), SO YOU'LL HAVE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: NIL
PUP: (PUP AND USER ARE ABLE TO REFER TO (EXAMINE:STRUCTURE) AS CNAME WHI
**CH IS EXAMINE:STRUCTURE:15)
PUP NOW DEFINES THIS FUNCTION:
(MAJOR:MODIFY:STRUCTURE:13
(LAMBDA (ARG1 ARG2 DUMMY:ARGUMENT:1)
(COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS REQUEST)
(COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS (QUOTE AIRLIN
**E:RESERVATION:SYSTEM))
(PROGN (MODIFY:STRUCTURE:14 ARG1 ARG2)
(EXAMINE:STRUCTURE:15 ARG1 ARG2))))
(MAJOR:MODIFY:STRUCTURE:13 redefined)
(COMMENT ARG1 IS NOT A BEING YET)
(COMMENT ARG2 IS NOT A BEING YET)
DEBUG F1 FDESC UNKNOWN (VECTOR PUPRIN1 (VECTOR CONCAT
THOSE MATCHING ARE: (VECTOR MAPCONC (VECTOR COND (VECTOR (VECTOR ATOM A
**RG2) (VECTOR EVAL ARG2)) (VECTOR T ARG2)) (VECTOR FUNCTION (VECTOR LAM
**BDA (VECTOR E) (VECTOR COND (VECTOR (VECTOR PLISTMATCH ARG1 E) (VECTOR
** LIST (VECTOR CDR E)))))))))
PUP IS NOW GOING TO ENCODE THE PIECE
(PUPRIN1 (CONCAT "
THOSE MATCHING ARE: " (MAPCONC (COND ((ATOM ARG2)
(EVAL ARG2))
(T ARG2))
(FUNCTION (LAMBDA (E)
(COND ((PLISTMATCH ARG1
** E)
(LIST (CDR E))))
**)))))
OF THE FUNCTION EXAMINE:STRUCTURE:15 INTO LISP. FUNCTION NAMES WILL
BE QUERIED IN PREORDER, AS NEEDED.
GC: 8
12250, 12250 FREE WORDS
PUP NOW DEFINES THIS FUNCTION:
(EXAMINE:STRUCTURE:15
(LAMBDA (ARG1 ARG2 DUMMY:ARGUMENT:1)
(COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS REQUEST)
(COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS (QUOTE AIRLIN
**E:RESERVATION:SYSTEM))
(PUPRIN1 (CONCAT "
THOSE MATCHING ARE: " (MAPCONC (COND
((ATOM ARG2)
(EVAL ARG2))
(T ARG2))
(FUNCTION (LAMBDA (E)
(COND
((PLISTMATCH ARG1 E)
(LIST (CDR E)))))))))))
IS (COND ((EQUAL (CAR (QUOTE DSMATCH)) (QUOTE NOBIND)) (SETQQ DSMATCH MA
**TCH)) (T T)) STILL THE PROPER EXPLICIT
ARGS CHECK FOR THE FUNCTION EXAMINE:STRUCTURE:15?
USER: NO
WHAT IS THE CHECK, THEN? (I SUGGEST 'T')
USER: T
(EXAMINE:STRUCTURE:15 redefined)
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS SUBSETOF DECISI
**ON:(CONDITIONAL:INSERTION CONDITIONAL:DELETION
COMPLEX:ALTERATION)SINCE THE DECISION IS SUBSET:OF, TYPE ANY ORDERED SUB
**SET OF:
(A .... CONDITIONAL:INSERTION)
(B .... CONDITIONAL:DELETION)
(C .... COMPLEX:ALTERATION)
FOR EXAMPLE, (B D) WOULD MEAN THAT THE 2ND AND 4TH ITEMS ARE RELEVANT
SHOULD I DISCUSS RAMIFICATIONS?NO
USER: (A B)
PUP IS NOW GOING TO ENCODE THE PIECE
(PROGN (CONDITIONAL:INSERTION ARG1 ARG2)
(CONDITIONAL:DELETION ARG1 ARG2))
OF THE FUNCTION MODIFY:STRUCTURE:14 INTO LISP. FUNCTION NAMES WILL
BE QUERIED IN PREORDER, AS NEEDED.
PUP: ((C:I CONDITIONAL:INSERTION C CI) IS THE SET OF PLAUSIBLE NAMES OF
**(CONDITIONAL INSERTION) WHICH IS AN EXPANSION
OF (CONDITIONAL:INSERTION))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (CONDITIONAL:INSERTION))
I DON'T KNOW ANY NAMES FOR (VECTOR CONDITIONAL:INSERTION), SO YOU'LL HAV
**E TO
TYPE A BRAND NEW NAME IN TO ME.
USER: NIL
PUP: (PUP AND USER ARE ABLE TO REFER TO (CONDITIONAL:INSERTION) AS CNAME
** WHICH IS CONDITIONAL:INSERTION:16)
PUP: ((C:D CONDITIONAL:DELETION C CD) IS THE SET OF PLAUSIBLE NAMES OF (
**CONDITIONAL DELETION) WHICH IS AN EXPANSION
OF (CONDITIONAL:DELETION))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (CONDITIONAL:DELETION))
I DON'T KNOW ANY NAMES FOR (VECTOR CONDITIONAL:DELETION), SO YOU'LL HAVE
** TO
TYPE A BRAND NEW NAME IN TO ME.
USER: NIL
PUP: (PUP AND USER ARE ABLE TO REFER TO (CONDITIONAL:DELETION) AS CNAME
**WHICH IS CONDITIONAL:DELETION:17)
PUP NOW DEFINES THIS FUNCTION:
(MODIFY:STRUCTURE:14
(LAMBDA (ARG1 ARG2 DUMMY:ARGUMENT:1)
(COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS REQUEST)
(COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS (QUOTE AIRLIN
**E:RESERVATION:SYSTEM))
(PROGN (CONDITIONAL:INSERTION:16 ARG1 ARG2)
(CONDITIONAL:DELETION:17 ARG1 ARG2))))
GC: 8
Running at 21562 Load av. = 1.40, USED 0:33:39.7 IN 1:51:53
11340, 12362 FREE WORDS
(MODIFY:STRUCTURE:14 redefined)
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS BOOLEAN DECISIO
**N:(DO I, AT THIS POINT, CONDITIONALLY INSERT
REQUEST ,OR A SIMILAR ELEMENT, SUCH AS AIRLINE:RESERVATION INTO THE DATA
** STRUCTURE AIRLINE:RESERVATION:SYSTEM ???
PLEASE RESPOND YES OR NO; IF YOU SAY 'YES', THEN I WILL PROBABLY HAVE TO
** ASK YOU SOME MORE QUESTIONS.)
SINCE THE DECISION IS BOOLEAN, JUST ANSWER YES OR NO.
SHOULD I DISCUSS RAMIFICATIONS?NO
NOW TYPE YOUR ANSWER: YES
NOW WE MUST KNOW 2 THINGS:
(1) WHAT WE INSERT
(2) UNDER WHAT CONDITION WE DO THE INSERTION
NOTES ABOUT (1): IF WE ARE INSERTING AN ALREADY EXISTING THING, THEN
JUST GIVEITS NAME; IF IT IS NEW, GIVE AN EXPRESSION INDICATING HOW WE
GET IT, PERHAPS IN TERMS OF ARG1.
(RECALL THAT HERE, ARG1 IS INSTANTIATED AS REQUEST)
NOTES ABOUT (2): YOU MAY REFER TO THE RESULT OF (1) AS RESULT:1
. THIS WILL BE ESPECIALLY USEFUL IF (1) IS NOT SIMPLY
AN OLD NAME. ALSO, WE DO ASSUME THAT PART OF THE
CONDITION (2) IS THE FACT THAT RESULT:1
IS ALREADY IN THE LIST. THIS NEEDNT BE
RESTATED. TYPNG SIMPLY ']' WILL CAUSE ME TO ASSUME YOU WANT THE CON-
DITION: (RESULT:1 ISNT NIL)
USER: (1) : (ALL BUT THE FIRST 2 ELEMENTS OF ARG1)
USER: (2): (THE FIRST ELEMENT OF ARG1 EQUALS INSERT)
(IS INSERT A LITERAL CONSTANT (WHOSE VALUE SHOULD BE ITSELF) (REPLY YES
**OR NO, PLEASE) USER...)
YES
NOT:YET:INITIALIZED ISNT IN YET. LOOK AT ARG AND ANSWER T OR NIL...
(VECTOR CDDR ARG1)
NIL
OK, READY TO MOVE ON NOW.
GC: 8
11272, 12294 FREE WORDS
PUP IS NOW GOING TO ENCODE THE PIECE
(PROGN (SETQ RESULT:1 (CDDR ARG1))
(COND ((MEMBER RESULT:1 AIRLINE:RESERVATION:SYSTEM)))
(COND ((AND (NOT (MEMBER RESULT:1 AIRLINE:RESERVATION:SYSTEM))
(EQUAL (CAR ARG1)
INSERT))
(SETQ AIRLINE:RESERVATION:SYSTEM (MERGE:IN (COND ((ATOM
**RESULT:1)
RESULT
**:1)
(T (SET
**Q NEW:NODE (PACK (TUPLE (QUOTE NODE:)
**(SETQ NEW:F:NUMBER
** (ADD1
** NEW:F:NUMBER)))))
(MAP
**2C (EVEN:ALT RESULT:1)
** (ODD:ALT RESULT:1)
** (FUNCTION
** (LAMBDA
** (P V)
** (SETQ D1
** (CADDAR
** (CADR (MEMBER (QUOTE INSERT)
** (GETP P
** DATA:STRUCTURE)))))
** (SETQ D2 (SUBST V HOLDX (COPY D1)))
** (SETQ D3 (SUBST (QUOTE NEW:NODE)
** DSN D2))
** (EVAL D3))))
NEW:
**NODE))
AIRLINE:RESER
**VATION:SYSTEM BETTER)))
(T (SETQ RESULT:1 NIL))))
OF THE FUNCTION CONDITIONAL:INSERTION:16 INTO LISP. FUNCTION NAMES WIL
**L
BE QUERIED IN PREORDER, AS NEEDED.
PUP: ((B BETTER) IS THE SET OF PLAUSIBLE NAMES OF (BETTER) WHICH IS AN E
**XPANSION OF (BETTER))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (BETTER))
I DON'T KNOW ANY NAMES FOR (VECTOR BETTER), SO YOU'LL HAVE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: NIL
PUP: (PUP AND USER ARE ABLE TO REFER TO (BETTER) AS CNAME WHICH IS BETTE
**R:18)
PUP NOW DEFINES THIS FUNCTION:
(CONDITIONAL:INSERTION:16
(LAMBDA (ARG1 DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1)
(COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS REQUEST)
(PROGN (SETQ RESULT:1 (CDDR ARG1))
(COND
((MEMBER RESULT:1 AIRLINE:RESERVATION:SYSTEM)))
(COND
((AND (NOT (MEMBER RESULT:1 AIRLINE:RESERVATION:SYSTEM))
(EQUAL (CAR ARG1)
INSERT))
(SETQ AIRLINE:RESERVATION:SYSTEM (MERGE:IN (COND
((ATOM RESUL
**T:1)
RESULT:1)
(T (SETQ NEW
**:NODE (PACK (TUPLE (QUOTE NODE:)
** (SETQ NEW:F:NUMBER
** (ADD1 NEW:F:NUMBER)))))
(MAP2C (E
**VEN:ALT RESULT:1)
(O
**DD:ALT RESULT:1)
(F
**UNCTION (LAMBDA (P V)
** (SETQ D1 (CADDAR (CADR (MEMBER (QUOTE INSERT)
** (GETP P
** DATA:STRUCTURE)))))
** (SETQ D2 (SUBST V HOLDX (COPY D1)))
** (SETQ D3 (SUBST (QUOTE NEW:NODE)
** DSN D2))
** (EVAL D3))))
NEW:NODE)
**)
AIRLINE:RESERV
**ATION:SYSTEM BETTER:18)))
(T (SETQ RESULT:1 NIL))))))
GC: 8
10224, 12268 FREE WORDS
(CONDITIONAL:INSERTION:16 redefined)
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS BOOLEAN DECISIO
**N:(DO I, AT THIS POINT, CONDITIONALLY DELETE
REQUEST ,OR A SIMILAR ELEMENT, INTO THE DATA STRUCTURE AIRLINE:RESERVATI
**ON:SYSTEM ??? PLEASE RESPOND YES OR NO; IF
YOU SAY 'YES', THEN I WILL PROBABLY HAVE TO ASK YOU SOME MORE QUESTIONS.
**)
SINCE THE DECISION IS BOOLEAN, JUST ANSWER YES OR NO.
SHOULD I DISCUSS RAMIFICATIONS?NO
NOW TYPE YOUR ANSWER: YES
NOW WE MUST KNOW 2 THINGS:
(1) WHAT WE DELETE
(2) UNDER WHAT CONDITION WE DO THE DELETION
NOTES ABOUT (1): IF WE ARE DELETING AN ALREADY EXISTING THING, THEN
JUST GIVEITS NAME; IF IT IS NEW, GIVE AN EXPRESSION INDICATING HOW WE
GET IT, PERHAPS IN TERMS OF ARG1.
(RECALL THAT HERE, ARG1 IS INSTANTIATED AS REQUEST)
NOTES ABOUT (2): YOU MAY REFER TO THE RESULT OF (1) AS RESULT:2
, IF (1) IS
NOT SIMPLY AN OLD NAME.
ALSO, WE ASSUME THAT PART OF THE CONDITION (2) IS THE FACT THAT RESULT:2
IS NOT ALREADY IN THE LIST. THIS NEED NOT BE
RESTATED BY THE USER.
TYPING SIMPLY ']' WILL CAUSE ME TO ASSUME YOU WANT THE CONDITION:
(RESULT:2 ISNT NIL)
USER: (1) : (ALL BUT THE FIRST 2 ELEMENTS OF ARG1 MATCHES SOMETHING IN
**AIRLINE:RESERVATION:SYSTEM)
USER: (2): (THE FIRST ELEMENT OF ARG1 EQUALS REMOVE)
(IS REMOVE A LITERAL CONSTANT (WHOSE VALUE SHOULD BE ITSELF) (REPLY YES
**OR NO, PLEASE) USER...)
YES
OK, READY TO MOVE ON NOW.
PUP IS NOW GOING TO ENCODE THE PIECE
(PROGN (SETQ RESULT:2 (CAR (SOME AIRLINE:RESERVATION:SYSTEM (FUNCTION
**(LAMBDA (N)
**(PLISTMATCH (CDDR ARG1)
** N))))))
(COND ((EQUAL (CAR ARG1)
REMOVE)
(SETQ AIRLINE:RESERVATION:SYSTEM (PULLOUT RESULT:2 AIRLI
**NE:RESERVATION:SYSTEM)))
(T (SETQ RESULT:2 NIL))))
OF THE FUNCTION CONDITIONAL:DELETION:17 INTO LISP. FUNCTION NAMES WILL
BE QUERIED IN PREORDER, AS NEEDED.
GC: 8
13427, 13427 FREE WORDS
PUP NOW DEFINES THIS FUNCTION:
(CONDITIONAL:DELETION:17
(LAMBDA (ARG1 DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1)
(COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS REQUEST)
(PROGN (SETQ RESULT:2 (CAR (SOME AIRLINE:RESERVATION:SYSTEM (FUNCTIO
**N (LAMBDA (N)
(PLISTMATCH (CDDR ARG1)
N))))))
(COND
((EQUAL (CAR ARG1)
REMOVE)
(SETQ AIRLINE:RESERVATION:SYSTEM (PULLOUT RESULT:2 AIRLIN
**E:RESERVATION:SYSTEM)))
(T (SETQ RESULT:2 NIL))))))
(CONDITIONAL:DELETION:17 redefined)
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS DICHOTOMY DECIS
**ION:((VECTOR WE USE A SIMPLE, FIXED TYPE OF
COMPARING FUNCTION TO MAINTAIN ORDERING) (VECTOR WE USE A MORE COMPLEX T
**YPE OF COMPARING FUNCTION) (ERROR!))(ABOVE,
ARG1 REFERS TO NIL ;ALSO, PLEASE IGNORE THE THIRD 'CHOICE'; IT IS ONLY F
**OR ME TO LOOK AT)
SINCE THE DECISION IS DICHOTOMOUS, TYPE A 1 OR A MEANS THAT IS C(VEC
**TOR WE USE A SIMPLE, FIXED TYPE OF COMPARING FUNCTION TO MAINTAIN ORDE
**RING) IS CORRECT.
2 MEANS THAT (VECTOR WE USE A MORE COMPLEX TYPE OF COMPARING FUNCTION) I
**S CORRECT.
SHOULD I DISCUSS RAMIFICATIONS?NO
USER: 1
PUP IS NOW GOING TO ENCODE THE PIECE
(SIMPLE:COMPARE:FN)
OF THE FUNCTION BETTER:18 INTO LISP. FUNCTION NAMES WILL
BE QUERIED IN PREORDER, AS NEEDED.
PUP: ((S:C:F SIMPLE:COMPARE:FN S:C SCF SC) IS THE SET OF PLAUSIBLE NAMES
** OF (SIMPLE COMPARE FN) WHICH IS AN EXPANSION
OF (SIMPLE:COMPARE:FN))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (SIMPLE:COMPARE:FN))
I DON'T KNOW ANY NAMES FOR (VECTOR SIMPLE:COMPARE:FN), SO YOU'LL HAVE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: NIL
PUP: (PUP AND USER ARE ABLE TO REFER TO (SIMPLE:COMPARE:FN) AS CNAME WHI
**CH IS SIMPLE:COMPARE:FN:19)
PUP NOW DEFINES THIS FUNCTION:
(BETTER:18
(LAMBDA (DUMMY:ARGUMENT:3 DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1)
(SIMPLE:COMPARE:FN:19)))
IS (AND (EQUAL T (GETP (CAR DUMMY:ARGUMENT:3) BEING)) (EQUAL T (GETP (CA
**R DUMMY:ARGUMENT:2) BEING))) STILL THE PROPER EXPLICIT
ARGS CHECK FOR THE FUNCTION BETTER:18?
USER: NO
WHAT IS THE CHECK, THEN? (I SUGGEST 'T')
USER: T
GC: 8
Running at 21573 Load av. = 2.06, USED 0:43:34.5 IN 2:06:46
12717, 12717 FREE WORDS
(BETTER:18 redefined)
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS DICHOTOMY DECIS
**ION:((VECTOR PUT EACH NEW ELEMENT ON AT THE
FRONT) (VECTOR PUT EACH NEW ELEMENT ON AT THE REAR) (ERROR!))(ABOVE, ARG
**1 REFERS TO NIL ;ALSO, PLEASE IGNORE THE THIRD
'CHOICE'; IT IS ONLY FOR ME TO LOOK AT)
SINCE THE DECISION IS DICHOTOMOUS, TYPE A 1 OR A MEANS THAT IS C(VEC
**TOR PUT EACH NEW ELEMENT ON AT THE FRONT) IS CORRECT.
2 MEANS THAT (VECTOR PUT EACH NEW ELEMENT ON AT THE REAR) IS CORRECT.
SHOULD I DISCUSS RAMIFICATIONS?NO
USER: 1
PUP IS NOW GOING TO ENCODE THE PIECE
(PROGN (COMMENT THIS ALLOWS MERGE TO BE THE SAME AS CONS)
NIL)
OF THE FUNCTION SIMPLE:COMPARE:FN:19 INTO LISP. FUNCTION NAMES WILL
BE QUERIED IN PREORDER, AS NEEDED.
PUP NOW DEFINES THIS FUNCTION:
(SIMPLE:COMPARE:FN:19
(LAMBDA (DUMMY:ARGUMENT:3 DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1)
(PROGN (COMMENT THIS ALLOWS MERGE TO BE THE SAME AS CONS)
NIL)))
(SIMPLE:COMPARE:FN:19 redefined)
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT INITIAL:VALUE:
**OF:PAID IN AIRLINE:RESERVATION UNDEFINED;
WILL BE GOTTEN LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE (
**INITIAL VALUES ARE RARELY COMPUTED INTRICATELY;
THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE READ IN AT THE BEGINNING)
**) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT:
(DUE TO THE CHARACTER OF AIRLINE:RESERVATION ,I ASSUME THAT I AM NOT REA
**LLY SUPPOSED TO WORRY ABOUT THIS EVER.))
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT INITIAL:VALUE:
**OF:FARE IN AIRLINE:RESERVATION UNDEFINED;
WILL BE GOTTEN LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE (
**INITIAL VALUES ARE RARELY COMPUTED INTRICATELY;
THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE READ IN AT THE BEGINNING)
**) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT:
(DUE TO THE CHARACTER OF AIRLINE:RESERVATION ,I ASSUME THAT I AM NOT REA
**LLY SUPPOSED TO WORRY ABOUT THIS EVER.))
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT INITIAL:VALUE:
**OF:FROM IN AIRLINE:RESERVATION UNDEFINED;
WILL BE GOTTEN LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE (
**INITIAL VALUES ARE RARELY COMPUTED INTRICATELY;
THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE READ IN AT THE BEGINNING)
**) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT:
(DUE TO THE CHARACTER OF AIRLINE:RESERVATION ,I ASSUME THAT I AM NOT REA
**LLY SUPPOSED TO WORRY ABOUT THIS EVER.))
GC: 8
12187, 12187 FREE WORDS
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT INITIAL:VALUE:
**OF:TO IN AIRLINE:RESERVATION UNDEFINED; WILL
BE GOTTEN LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE (INITI
**AL VALUES ARE RARELY COMPUTED INTRICATELY;
THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE READ IN AT THE BEGINNING)
**) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT:
(DUE TO THE CHARACTER OF AIRLINE:RESERVATION ,I ASSUME THAT I AM NOT REA
**LLY SUPPOSED TO WORRY ABOUT THIS EVER.))
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT INITIAL:VALUE:
**OF:SEAT IN AIRLINE:RESERVATION UNDEFINED;
WILL BE GOTTEN LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE (
**INITIAL VALUES ARE RARELY COMPUTED INTRICATELY;
THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE READ IN AT THE BEGINNING)
**) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT:
(DUE TO THE CHARACTER OF AIRLINE:RESERVATION ,I ASSUME THAT I AM NOT REA
**LLY SUPPOSED TO WORRY ABOUT THIS EVER.))
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT INITIAL:VALUE:
**OF:PASSEN IN AIRLINE:RESERVATION UNDEFINED;
WILL BE GOTTEN LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE (
**INITIAL VALUES ARE RARELY COMPUTED INTRICATELY;
THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE READ IN AT THE BEGINNING)
**) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT:
(DUE TO THE CHARACTER OF AIRLINE:RESERVATION ,I ASSUME THAT I AM NOT REA
**LLY SUPPOSED TO WORRY ABOUT THIS EVER.))
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT INITIAL:VALUE:
**OF:FLT IN AIRLINE:RESERVATION UNDEFINED; WILL
BE GOTTEN LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE (INITI
**AL VALUES ARE RARELY COMPUTED INTRICATELY;
THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE READ IN AT THE BEGINNING)
**) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT:
(DUE TO THE CHARACTER OF AIRLINE:RESERVATION ,I ASSUME THAT I AM NOT REA
**LLY SUPPOSED TO WORRY ABOUT THIS EVER.))
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT INITIAL:VALUE:
**OF:ARV IN AIRLINE:RESERVATION UNDEFINED; WILL
BE GOTTEN LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE (INITI
**AL VALUES ARE RARELY COMPUTED INTRICATELY;
THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE READ IN AT THE BEGINNING)
**) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT:
(DUE TO THE CHARACTER OF AIRLINE:RESERVATION ,I ASSUME THAT I AM NOT REA
**LLY SUPPOSED TO WORRY ABOUT THIS EVER.))
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT INITIAL:VALUE:
**OF:LV IN AIRLINE:RESERVATION UNDEFINED; WILL
BE GOTTEN LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE (INITI
**AL VALUES ARE RARELY COMPUTED INTRICATELY;
THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE READ IN AT THE BEGINNING)
**) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT:
(DUE TO THE CHARACTER OF AIRLINE:RESERVATION ,I ASSUME THAT I AM NOT REA
**LLY SUPPOSED TO WORRY ABOUT THIS EVER.))
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT INITIAL:VALUE:
**OF:DAY IN AIRLINE:RESERVATION UNDEFINED; WILL
BE GOTTEN LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE (INITI
**AL VALUES ARE RARELY COMPUTED INTRICATELY;
THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE READ IN AT THE BEGINNING)
**) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT:
(DUE TO THE CHARACTER OF AIRLINE:RESERVATION ,I ASSUME THAT I AM NOT REA
**LLY SUPPOSED TO WORRY ABOUT THIS EVER.))
PUP: WHILE LOOKING OVER SOME POSSIBLE ERRORS IN THE CODE SO FAR,
I NOTICE THAT WE HAVE LEFT INITIAL:VALUE UNDEFINED. IT IS LOCATED I
**N
THE FUNCTION AIR:1. IN OTHER WORDS, AT THE INSTANT WE KNOW
THAT (VECTOR WE KNOW NONE TO BEING WITH; THE LIST STRUCTURE SHOULD GROW
**WITH TIME)
I SUSPECT THAT THE ANSWER IS (NIL).
PLEASE TYPE IN ONE OF THESE, OR ELSE YOUR OWN ANSWER, OR ELSE THE
SINGLE WORD 'DEFER' -- WHICH MEANS 'I AM UNSURE, SO COME BACK TO THIS
LATER.' GO AHEAD NOW
USER: NIL
GC: 8
Running at 21564 Load av. = 2.05, USED 0:48:40.2 IN 2:15:24
12634, 12634 FREE WORDS
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT WARNING INITIA
**L:VALUE IN AIR:1 UNDEFINED; WILL BE GOTTEN
LATER; PROBABLY NIL SINCE (WE KNOW NONE TO BEING WITH; THE LIST STRUCTUR
**E SHOULD GROW WITH TIME)) ,AND HERE IS WHAT
WE FINALLY DID ABOUT IT: (WE SUBSTITUTED NIL FOR INITIAL:VALUE THROUGHOU
**T THE FUNCTION AIR:1 .BY THE WAY, THIS WAS
ONE OF MY SUGGESTIONS!! THE META:CODE WAS CHANGED FROM (PROGN (SETQ AIRL
**INE:RESERVATION:SYSTEM NIL) (COMMENT OTHER
INITIALIZATION MAY BE DONE HERE) (PROG NIL LABEL:1 (TAKE:HOLD:OF:12 REQU
**EST) (MAJOR:MODIFY:STRUCTURE:13 REQUEST (QUOTE
AIRLINE:RESERVATION:SYSTEM)) (GO LABEL:1) (COMMENT INFINITE LOOP IN THIS
** PROG)) (COMMENT FINALIZATION)) TO (PROGN
(SETQ AIRLINE:RESERVATION:SYSTEM NIL) (COMMENT OTHER INITIALIZATION MAY
**BE DONE HERE) (PROG NIL LABEL:1 (TAKE:HOLD:OF:12
REQUEST) (MAJOR:MODIFY:STRUCTURE:13 REQUEST (QUOTE AIRLINE:RESERVATION:S
**YSTEM)) (GO LABEL:1) (COMMENT INFINITE LOOP
IN THIS PROG)) (COMMENT FINALIZATION))))
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (COMMENT WARNING INITIA
**L:VALUE IN AIRLINE:RESERVATION:SYSTEM UNDEFINED;
WILL BE GOTTEN LATER; PROBABLY NIL SINCE (WE KNOW NONE TO BEING WITH; TH
**E LIST STRUCTURE SHOULD GROW WITH TIME)) ,AND
HERE IS WHAT WE FINALLY DID ABOUT IT: (DUE TO THE CHARACTER OF AIRLINE:R
**ESERVATION:SYSTEM ,I ASSUME THAT I AM NOT
REALLY SUPPOSED TO WORRY ABOUT THIS EVER.))
FLOW:PRECEDED ISNT IN YET.
LOOK AT ARGUMENT AND ANSWER T OR NIL:
(VECTOR INSERT INTO AIRLINE:RESERVATION:SYSTEM)
(THIS WOULD NORMALLY BE DONE BY SYSTEM, NOT BY USER .... T
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (WARNING WE HAVE FOUND
**NO INSERTIONS INTO AIRLINE:RESERVATION:SYSTEM
DATA STRUCTURE) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT: (WE KNOW ALL
**ABOUT THE PRESENCE/ABSENCE/DETAILS OF THE
INSERTIONS ASSOCIATED WITH THE DATA STRUCTURE AIRLINE:RESERVATION:SYSTEM
**))
PUP: ((I:O:T IS:OF:TYPE I:O IOT IO) IS THE SET OF PLAUSIBLE NAMES OF (IS
** OF TYPE) WHICH IS AN EXPANSION OF (IS:OF:TYPE))
PUP: (PUP WANTS USER TO TYPE IN NAME FOR (IS:OF:TYPE))
I DON'T KNOW ANY NAMES FOR (VECTOR IS:OF:TYPE), SO YOU'LL HAVE TO
TYPE A BRAND NEW NAME IN TO ME.
USER: NIL
PUP: (PUP AND USER ARE ABLE TO REFER TO (IS:OF:TYPE) AS CNAME WHICH IS I
**S:OF:TYPE:20)
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (INFINITE LOOP IN AIR:1
** FROM LABEL:1 TO (GO LABEL:1)) ,AND HERE IS
WHAT WE FINALLY DID ABOUT IT: (INFINITE LOOP TERMINATION DECISION IS ABO
**UT TO BE INVESTIGATED, I BETCHA!!!))
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS DEFINITION DECI
**SION:(HOW DO WE KNOW WHEN THE 'IS:OF:TYPE'
PREDICATE IS TRUE, AND WHEN IT IS FALSE? PUP ASSUMES THAT USER WILL TYPE
** IN A LOGICAL SENTENCE WHOSE TRUTH IS EQUIVALENT
TO IT)SINCE THE QUESTION IS ONE OF DEFINITION, PLEASE JUST
TYPE IN THE DEFINITION OF IS:OF:TYPE:20
SINCE THIS IS A PREDICATE, THE EXPRESSION YOU TYPE IN SHOULD BE A
LOGICAL EXPRESSION, WHICH IS TRUE IF ARG1 IS OF
THE (BREAKAWAY) TYPE, AND SHOULD BE FALSE IF IT ISNT OF
THAT TYPE.
SHOULD I DISCUSS RAMIFICATIONS?NO
USER: (THE FIRST ELEMENT OF REQUEST EQUALS STOP)
(IS STOP A LITERAL CONSTANT (WHOSE VALUE SHOULD BE ITSELF) (REPLY YES OR
** NO, PLEASE) USER...)
YES
GC: 8
12914, 12914 FREE WORDS
PUP IS NOW GOING TO ENCODE THE PIECE
(EQUAL (CAR REQUEST)
STOP)
OF THE FUNCTION IS:OF:TYPE:20 INTO LISP. FUNCTION NAMES WILL
BE QUERIED IN PREORDER, AS NEEDED.
PUP NOW DEFINES THIS FUNCTION:
(IS:OF:TYPE:20
(LAMBDA (DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1)
(EQUAL (CAR REQUEST)
STOP)))
IS (MATCH (TUPLE COMMENT FRAG1) DUMMY:ARGUMENT:1) STILL THE PROPER EXPLI
**CIT
ARGS CHECK FOR THE FUNCTION IS:OF:TYPE:20?
USER: NO
WHAT IS THE CHECK, THEN? (I SUGGEST 'T')
USER: T
(IS:OF:TYPE:20 redefined)
FLOW:PRECEDED ISNT IN YET.
LOOK AT ARGUMENT AND ANSWER T OR NIL:
(VECTOR DELETE FROM AIRLINE:RESERVATION:SYSTEM)
(THIS WOULD NORMALLY BE DONE BY SYSTEM, NOT BY USER .... T
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (WARNING WE HAVE FOUND
**NO DELETIONS INTO AIRLINE:RESERVATION:SYSTEM
DATA STRUCTURE) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT: (WE KNOW ALL
**ABOUT THE PRESENCE/ABSENCE/DETAILS OF THE
DELETIONS ASSOCIATED WITH THE DATA STRUCTURE AIRLINE:RESERVATION:SYSTEM)
**)
FLOW:PRECEDED ISNT IN YET.
LOOK AT ARGUMENT AND ANSWER T OR NIL:
(VECTOR INSERT INTO AIRLINE:RESERVATION)
(THIS WOULD NORMALLY BE DONE BY SYSTEM, NOT BY USER .... T
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (WARNING WE HAVE FOUND
**NO INSERTIONS INTO AIRLINE:RESERVATION DATA
STRUCTURE) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT: (WE KNOW ALL ABOUT
** THE PRESENCE/ABSENCE/DETAILS OF THE INSERTIONS
ASSOCIATED WITH THE DATA STRUCTURE AIRLINE:RESERVATION))
FLOW:PRECEDED ISNT IN YET.
LOOK AT ARGUMENT AND ANSWER T OR NIL:
(VECTOR DELETE FROM AIRLINE:RESERVATION)
(THIS WOULD NORMALLY BE DONE BY SYSTEM, NOT BY USER .... T
PUP: (PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (WARNING WE HAVE FOUND
**NO DELETIONS INTO AIRLINE:RESERVATION DATA
STRUCTURE) ,AND HERE IS WHAT WE FINALLY DID ABOUT IT: (WE KNOW ALL ABOUT
** THE PRESENCE/ABSENCE/DETAILS OF THE DELETIONS
ASSOCIATED WITH THE DATA STRUCTURE AIRLINE:RESERVATION))
NEAR END OF TASK -- INTERRUPT? N
PUP: SORRY TO BOTHER YOU, BUT I CAN NO LONGER DEFER THIS ADAPTATION DECI
**SION:(DESIRED DIALOGUE BETWEEN AIR:1 AND ITS
USERS)
HERE I WILL EVENTUALLY ASK FOR A SAMPLE DIALOGUE AND USE IT TO
DETERMINE ALL THE FORMATS, AND TO CHECK ALL THE CODE. NOT IN YET
SORRY, I AM INSERTING THE PRINT STATMENTS BY OMNISCIENCE (CONDITIONAL:I
**NSERTION:16 redefined)
(CONDITIONAL:DELETION:17 redefined)
(IS:OF:TYPE:20 redefined)
(SIMPLE:COMPARE:FN:19 redefined)
(BETTER:18 redefined)
(CONDITIONAL:DELETION:17 redefined)
(CONDITIONAL:INSERTION:16 redefined)
(REQUEST redefined)
(MODIFY:STRUCTURE:14 redefined)
(EXAMINE:STRUCTURE:15 redefined)
(MAJOR:MODIFY:STRUCTURE:13 redefined)
(TAKE:HOLD:OF:12 redefined)
GC: 8
Running at 21777 Load av. = 1.10, USED 0:53:28.9 IN 2:23:21
11021, 12043 FREE WORDS
(AIR:1 redefined)
(AIRLINE:RESERVATION:SYSTEM redefined)
(PAID redefined)
(FARE redefined)
(FROM redefined)
(TO redefined)
(SEAT redefined)
(PASSEN redefined)
(FLT redefined)
(ARV redefined)
(LV redefined)
(DAY redefined)
(AIRLINE:RESERVATION redefined)
INTERRUPT? Y
REQUEST: (SETQ PREADLIST (APPEND DIALOG PREADLIST))
((INSERT THIS: DAY 3 FLT 2) (INSERT THIS: DAY 4 FLT 2 ARV 3) (INSERT THI
**S: FLT 2 ARV 1 LV 3) (INSERT THIS: FLT 3 ARV
3 DAY 3 LV 4) (FLT 2) (DAY 3) (INSERT THIS: DAY 4 FLT 5 ARV 3 LV 315) (A
**RV 3 DAY 4) (REMOVE THIS: DAY 4) (REMOVE THIS
FLT 3 DAY 3 LV 4 ARV 3) NIL (INSERT PLEASE DAY 1 PASSEN 2 PAID 2 FARE 3)
** (PAID 3) (PAID 2) (INSERT THIS FLT 4 PASSEN
2 LV 3 ARV 6 FARE 40 PAID 2) (PAID 2) (REMOVE THIS: PAID 2) (PAID 2) NIL
** (PLEASE STOP) (STOP PLEASE!!) 2 (CHANGE AS
FOLLOWS: DELETE EVERYTHING IN AIRLINE:RESERVATION:SYSTEM MATCHING ALL BU
**T THE FIRST 2 ELEMENTS OF REQUEST INSTEADOF
ALL BUT THE FIRST 2 ELEMENTS OF REQUEST MATCHES SOMETHING IN AIRLINE:RES
**ERVATION:SYSTEM))
REQUEST: (AIR:1)
(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT THIS: DAY 3 FLT 2)
NODE:21
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT THIS: DAY 4 FLT 2 ARV 3)
NODE:22
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT THIS: FLT 2 ARV 1 LV 3)
NODE:23
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT THIS: FLT 3 ARV 3 DAY 3 LV 4)
NODE:24
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(FLT 2)
THOSE MATCHING ARE: ((DAY:2 (3) FLT:5 (2)) (DAY:2 (4) FLT:5 (2) ARV:4 (3
**)) (FLT:5 (2) ARV:4 (1) LV:3 (3)))(COMMENT
READY TO ACCEPT BRAND NEW REQUEST)
(DAY 3)
THOSE MATCHING ARE: ((DAY:2 (3) FLT:5 (2)) (FLT:5 (3) ARV:4 (3) DAY:2 (3
**) LV:3 (4)))(COMMENT READY TO ACCEPT BRAND
NEW REQUEST)
(INSERT THIS: DAY 4 FLT 5 ARV 3 LV 315)
NODE:25
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(ARV 3 DAY 4)
THOSE MATCHING ARE: ((DAY:2 (4) FLT:5 (2) ARV:4 (3)) (DAY:2 (4) FLT:5 (5
**) ARV:4 (3) LV:3 (315)))(COMMENT READY TO
ACCEPT BRAND NEW REQUEST)
(REMOVE THIS: DAY 4)
NODE:22
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(REMOVE THIS FLT 3 DAY 3 LV 4 ARV 3)
NODE:24
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
NIL
THOSE MATCHING ARE: ((DAY:2 (3) FLT:5 (2)) (FLT:5 (2) ARV:4 (1) LV:3 (3)
**) (DAY:2 (4) FLT:5 (5) ARV:4 (3) LV:3 (315)))(
COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT PLEASE DAY 1 PASSEN 2 PAID 2 FARE 3)
NODE:26
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(PAID 3)
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(PAID 2)
THOSE MATCHING ARE: ((DAY:2 (1) PASSEN:6 (2) PAID:11 (2) FARE:10 (3)))(C
**OMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT THIS FLT 4 PASSEN 2 LV 3 ARV 6 FARE 40 PAID 2)
NODE:27
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(PAID 2)
THOSE MATCHING ARE: ((DAY:2 (1) PASSEN:6 (2) PAID:11 (2) FARE:10 (3)) (F
**LT:5 (4) PASSEN:6 (2) LV:3 (3) ARV:4 (6) FARE:10 (40) PAID:11 (2)))(
COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(REMOVE THIS: PAID 2)
NODE:26
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(PAID 2)
THOSE MATCHING ARE: ((FLT:5 (4) PASSEN:6 (2) LV:3 (3) ARV:4 (6) FARE:10
**(40) PAID:11 (2)))(COMMENT READY TO ACCEPT
BRAND NEW REQUEST)
NIL
THOSE MATCHING ARE: ((DAY:2 (3) FLT:5 (2)) (FLT:5 (2) ARV:4 (1) LV:3 (3)
**) (DAY:2 (4) FLT:5 (5) ARV:4 (3) LV:3 (315)) (FLT:5 (4) PASSEN:6 (2) L
**V:3 (3) ARV:4 (6) FARE:10 (40) PAID:11 (2)))(
COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(PLEASE STOP)
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(STOP PLEASE!!)
THOSE MATCHING ARE: NIL(COMMENT FINALIZATION)
REQUEST: (STORAGE T)
TYPE USED ASSIGNED SYSTEM
1 42 1536 34816
2 5120 5120 55296
4 0 512 512
8 70899 82944 16384
12 6477 7680 13312
16 584 1024 512
18 380 2048 1024
24 234 1024 1024
28 5433 6144 8704
30 4323 5120 2560
SUM 93492 113152 134144
NIL
REQUEST: QUIT
PUP: (FILE AIR HAS BEEN MADE AND WILL SUPPORT BEING AIR:1)
PUP: (THE PROGRAM AIR:1 TO DO (GET:DATA:STRUCTURE AIRLINE:RESERVATION:SY
**STEM AIRLINE:RESERVATION) IS COMPLETE)
FINISHED CURRENT SERVICE; WHAT SHOULD I DO? TYPE ONE OF:
1 EXIT FROM SYSTEM
2 CONTINUE SERVING, AS BEFORE
3 CONTINUE SERVING, BUT GET A NEW USER INTERRUPT LEVEL
4 REINITIALIZE SYSTEM AND START FROM BEGINNING AGAIN
OK, GO .......... 2
PUP: (PUP WANTS ANY TASK)
USER: (CHANGE AS FOLLOWS: DELETE EVERYTHING IN AIRLINE:RESERVATION:SYSTE
**M MATCHING ALL BUT THE FIRST 2 ELEMENTS OF
REQUEST INSTEADOF ALL BUT THE FIRST 2 ELEMENTS OF REQUEST MATCHES SOMETH
**ING IN AIRLINE:RESERVATION:SYSTEM)
(CONDITIONAL:DELETION:17 redefined)
THE NEW METACODE FOR BEING CONDITIONAL:DELETION:17 IS AS FOLLOWS: (PROGN
** (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS REQUEST) (PROG
**N (SETQ RESULT:2 (PLISTMATCH AIRLINE:RESERVATION:SYSTEM (CDDR ARG1)))
**(COND ((EQUAL (CAR ARG1) REMOVE) (SETQ AIRLINE:RESERVATION:SYSTEM (PUL
**LOUT (PUPRINT RESULT:2) AIRLINE:RESERVATION:SYSTEM))) (T (SETQ RESULT:
**2 NIL)))))
INTERRUPT? Y
REQUEST: (SETQ PREADLIST (DIALOG)\)\G\O\L##
(SETQ##
(AND (SETQ PREADLIST DIALOG) T)
T
REQUEST: (AIR:1)
(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT THIS: DAY 3 FLT 2)
NODE:28
(DAY:2 (3) FLT:5 (2))
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT THIS: DAY 4 FLT 2 ARV 3)
NODE:29
(DAY:2 (4) FLT:5 (2) ARV:4 (3))
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT THIS: FLT 2 ARV 1 LV 3)
NODE:30
(FLT:5 (2) ARV:4 (1) LV:3 (3))
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT THIS: FLT 3 ARV 3 DAY 3 LV 4)
NODE:31
(FLT:5 (3) ARV:4 (3) DAY:2 (3) LV:3 (4))
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(FLT 2)
(DAY:2 (3) FLT:5 (2))
(DAY:2 (4) FLT:5 (2) ARV:4 (3))
(FLT:5 (2) ARV:4 (1) LV:3 (3))
(FLT:5 (3) ARV:4 (3) DAY:2 (3) LV:3 (4))
THOSE MATCHING ARE: ((DAY:2 (3) FLT:5 (2)) (DAY:2 (4) FLT:5 (2) ARV:4 (3
**)) (FLT:5 (2) ARV:4 (1) LV:3 (3)))(COMMENT
READY TO ACCEPT BRAND NEW REQUEST)
(DAY 3)
(DAY:2 (3) FLT:5 (2))
(DAY:2 (4) FLT:5 (2) ARV:4 (3))
(FLT:5 (2) ARV:4 (1) LV:3 (3))
(FLT:5 (3) ARV:4 (3) DAY:2 (3) LV:3 (4))
THOSE MATCHING ARE: ((DAY:2 (3) FLT:5 (2)) (FLT:5 (3) ARV:4 (3) DAY:2 (3
**) LV:3 (4)))(COMMENT READY TO ACCEPT BRAND
NEW REQUEST)
(INSERT THIS: DAY 4 FLT 5 ARV 3 LV 315)
NODE:32
(DAY:2 (4) FLT:5 (5) ARV:4 (3) LV:3 (315))
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(ARV 3 DAY 4)
(DAY:2 (4) FLT:5 (2) ARV:4 (3))
(DAY:2 (4) FLT:5 (5) ARV:4 (3) LV:3 (315))
GC: 8
12344, 12344 FREE WORDS
THOSE MATCHING ARE: ((DAY:2 (4) FLT:5 (2) ARV:4 (3)) (DAY:2 (4) FLT:5 (5
**) ARV:4 (3) LV:3 (315)))(COMMENT READY TO
ACCEPT BRAND NEW REQUEST)
(REMOVE THIS: DAY 4)
(DAY:2 (4) FLT:5 (2) ARV:4 (3))
(DAY:2 (4) FLT:5 (5) ARV:4 (3) LV:3 (315))
(NODE:29 NODE:32)
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(REMOVE THIS FLT 3 DAY 3 LV 4 ARV 3)
(FLT:5 (3) ARV:4 (3) DAY:2 (3) LV:3 (4))
(NODE:31)
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
NIL
(DAY:2 (3) FLT:5 (2))
(FLT:5 (2) ARV:4 (1) LV:3 (3))
THOSE MATCHING ARE: ((DAY:2 (3) FLT:5 (2)) (FLT:5 (2) ARV:4 (1) LV:3 (3)
**))(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT PLEASE DAY 1 PASSEN 2 PAID 2 FARE 3)
NODE:33
(DAY:2 (1) PASSEN:6 (2) PAID:11 (2) FARE:10 (3))
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(PAID 3)
(DAY:2 (3) FLT:5 (2))
(FLT:5 (2) ARV:4 (1) LV:3 (3))
(DAY:2 (1) PASSEN:6 (2) PAID:11 (2) FARE:10 (3))
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(PAID 2)
(DAY:2 (3) FLT:5 (2))
(FLT:5 (2) ARV:4 (1) LV:3 (3))
(DAY:2 (1) PASSEN:6 (2) PAID:11 (2) FARE:10 (3))
THOSE MATCHING ARE: ((DAY:2 (1) PASSEN:6 (2) PAID:11 (2) FARE:10 (3)))(C
**OMMENT READY TO ACCEPT BRAND NEW REQUEST)
(INSERT THIS FLT 4 PASSEN 2 LV 3 ARV 6 FARE 40 PAID 2)
NODE:34
(FLT:5 (4) PASSEN:6 (2) LV:3 (3) ARV:4 (6) FARE:10 (40) PAID:11 (2))
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(PAID 2)
(DAY:2 (3) FLT:5 (2))
(FLT:5 (2) ARV:4 (1) LV:3 (3))
(DAY:2 (1) PASSEN:6 (2) PAID:11 (2) FARE:10 (3))
(FLT:5 (4) PASSEN:6 (2) LV:3 (3) ARV:4 (6) FARE:10 (40) PAID:11 (2))
THOSE MATCHING ARE: ((DAY:2 (1) PASSEN:6 (2) PAID:11 (2) FARE:10 (3)) (F
**LT:5 (4) PASSEN:6 (2) LV:3 (3) ARV:4 (6) FARE:10 (40) PAID:11 (2)))(
COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(REMOVE THIS: PAID 2)
(DAY:2 (1) PASSEN:6 (2) PAID:11 (2) FARE:10 (3))
(FLT:5 (4) PASSEN:6 (2) LV:3 (3) ARV:4 (6) FARE:10 (40) PAID:11 (2))
(NODE:33 NODE:34)
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(PAID 2)
(DAY:2 (3) FLT:5 (2))
(FLT:5 (2) ARV:4 (1) LV:3 (3))
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
NIL
(DAY:2 (3) FLT:5 (2))
(FLT:5 (2) ARV:4 (1) LV:3 (3))
THOSE MATCHING ARE: ((DAY:2 (3) FLT:5 (2)) (FLT:5 (2) ARV:4 (1) LV:3 (3)
**))(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(PLEASE STOP)
(DAY:2 (3) FLT:5 (2))
(FLT:5 (2) ARV:4 (1) LV:3 (3))
THOSE MATCHING ARE: NIL(COMMENT READY TO ACCEPT BRAND NEW REQUEST)
(STOP PLEASE!!)
(DAY:2 (3) FLT:5 (2))
(FLT:5 (2) ARV:4 (1) LV:3 (3))
THOSE MATCHING ARE: NIL(COMMENT FINALIZATION)
REQUEST: CH
NIL *** ANALYZE:IMPLICATIONS *** (SERVE)
REQUEST: WHAT
(ANALYZE THE IMPLICATIONS OF SOME OF THE NEW INFORMATION ((CONDITIONAL:D
**ELETION (PLISTMATCH AIRLINE:RESERVATION:SYSTEM
(CDDR REQUEST))) INSTEADOF (CAR (SOME AIRLINE:RESERVATION:SYSTEM (FUNCTI
**ON (LAMBDA (N) (PLISTMATCH (CDDR REQUEST)
N)))))))
REQUEST: HOW
(BY LOCALIZING THE EFFECTS OF THE NEW INFO AND STUDYING THEM)
REQUEST: QUIT
FINISHED CURRENT SERVICE; WHAT SHOULD I DO? TYPE ONE OF:
1 EXIT FROM SYSTEM
2 CONTINUE SERVING, AS BEFORE
3 CONTINUE SERVING, BUT GET A NEW USER INTERRUPT LEVEL
4 REINITIALIZE SYSTEM AND START FROM BEGINNING AGAIN
OK, GO .......... 1
EXITING FROM THE SYSTEM.
"
EXITING FROM THE SYSTEM.
"
←GLOBAL:INITIALIZATION:LIST
((SETQQ STOP STOP) (SETQQ REMOVE REMOVE) (SETQQ INSERT INSERT) (SETQQ PA
**ID:11 PAID:11) (SETQQ FARE:10 FARE:10) (SETQQ
FROM:9 FROM:9) (SETQQ TO:8 TO:8) (SETQQ SEAT:7 SEAT:7) (SETQQ PASSEN:6 P
**ASSEN:6) (SETQQ FLT:5 FLT:5) (SETQQ ARV:4
ARV:4) (SETQQ LV:3 LV:3) (SETQQ DAY:2 DAY:2) (SETQQ DSN AIRLINE:RESERVAT
**ION) (SETQQ DSN1 AIRLINE:RESERVATION:SYSTEM))
←